document.write("<p>Browser Tools Interface (external source file)</p>");